@InProceedings{MacielVinCamMauAss:2017:SpInLo,
               author = "Maciel, Adeline Marinho and Vinhas, Lubia and Camara, Gilberto and 
                         Maus, Victor Wegner and Assis, Luiz Fernando Ferreira Gomes de",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "STILF - A spatiotemporal interval logic formalism for reasoning 
                         about events in remote sensing data",
            booktitle = "Anais...",
                 year = "2017",
               editor = "Gherardi, Douglas Francisco Marcolino and Arag{\~a}o, Luiz 
                         Eduardo Oliveira e Cruz de",
                pages = "4558--4565",
         organization = "Simp{\'o}sio Brasileiro de Sensoriamento Remoto, 18. (SBSR)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             abstract = "Although several studies perform time series analysis using remote 
                         sensing data provided by Earth observation satellites, few have 
                         been explored concerning the reasoning about land use change using 
                         these data. Besides, exists the challenge of make the best use of 
                         big Earth observation data sets to represent change. In this 
                         context, this work presents a new formalism - STILF 
                         (Spatiotemporal Interval Logic Formalism), and shows how to use it 
                         for reasoning about land use change using big Earth observation 
                         data. Extending the ideas from Allens interval temporal logic, we 
                         introduce predicates holds(o, p, t) and occur(o, p, Te) to build a 
                         general framework to reason about events. Events can be defined as 
                         complete entities on their respective time intervals and their 
                         lifetime is limited while objects persist in time, with a defined 
                         begin and end. Since events are intrinsically related to the 
                         objects they modify, a geospatial event formalism should specify 
                         not only what happens, but also which objects are affected by such 
                         changes. The formalism proposed and predicates extended from 
                         Allens ideas can model and capture changes using big Earth 
                         observation data, and also allows reasoning about land use 
                         trajectories in regional or global areas. Examples for tropical 
                         forest area application is presented to better understand our 
                         proposal using STILF. For the future, the proposed formalism will 
                         be include other temporal analysis tools to thinking about events 
                         related the land use and cover change.",
  conference-location = "Santos",
      conference-year = "28-31 maio 2017",
                 isbn = "978-85-17-00088-1",
                label = "59599",
             language = "en",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGP6W34M/3PSM3BH",
                  url = "http://urlib.net/ibi/8JMKD3MGP6W34M/3PSM3BH",
           targetfile = "59599.pdf",
                 type = "Paisagens naturais",
        urlaccessdate = "27 abr. 2024"
}